/home/correa/workspace/pargo-instances/clique/dimacs/C125.9.clq
Found incumbent of value 0.000000 after 0.00 sec. (0.01 ticks)
Tried aggregator 1 time.
MIP Presolve eliminated 0 rows and 1 columns.
Reduced MIP has 519 rows, 644 columns, and 1704 nonzeros.
Reduced MIP has 125 binaries, 0 generals, 0 SOSs, and 0 indicators.
Presolve time = 0.00 sec. (0.68 ticks)
Probing time = 0.00 sec. (0.41 ticks)
Tried aggregator 1 time.
Presolve time = 0.00 sec. (0.69 ticks)
Probing time = 0.00 sec. (0.41 ticks)
Clique table members: 520.
MIP emphasis: balance optimality and feasibility.
MIP search method: traditional branch-and-cut.
Parallel mode: none, using 1 thread.
Root relaxation solution time = 0.01 sec. (6.80 ticks)

        Nodes                                         Cuts/
   Node  Left     Objective  IInf  Best Integer    Best Bound    ItCnt     Gap         Variable B NodeID Parent  Depth

*     0+    0                            0.0000      125.0000      300     --- 
      0     0       45.4038   125        0.0000       45.4038      300     --- 
*     0+    0                           30.0000       45.4038      300   51.35%
      0     0       43.1319   124       30.0000     Cuts: 165      464   43.77%
*     0+    0                           32.0000       43.1319      464   34.79%
      0     0       42.8553   125       32.0000     Cuts: 112      536   33.92%
*     0+    0                           34.0000       42.8553      536   26.04%
      0     0       42.3645   126       34.0000      Cuts: 98      639   24.60%
      0     0       42.2364   126       34.0000      Cuts: 63      678   24.22%
      0     0       42.0738   126       34.0000      Cuts: 74      735   23.75%
      0     0       41.9730   126       34.0000      Cuts: 38      781   23.45%
      0     0       41.8019   126       34.0000      Cuts: 55      826   22.95%
      0     0       41.7216   126       34.0000      Cuts: 63      884   22.71%
      0     0       41.4867   125       34.0000      Cuts: 32      960   22.02%
      0     0       41.4031   126       34.0000      Cuts: 37     1008   21.77%
      0     0       41.3581   125       34.0000      Cuts: 30     1047   21.64%
      0     0       41.3455   126       34.0000      Cuts: 21     1065   21.60%
      0     0       41.2819   125       34.0000      Cuts: 40     1106   21.42%
      0     0       41.2463   125       34.0000      Cuts: 36     1136   21.31%
      0     0       41.2387   125       34.0000      Cuts: 15     1157   21.29%
      0     0       41.1707   126       34.0000      Cuts: 35     1221   21.09%
      0     0       41.1495   126       34.0000      Cuts: 31     1241   21.03%
      0     0       41.1191   126       34.0000      Cuts: 20     1280   20.94%
      0     0       41.1100   126       34.0000      Cuts: 17     1295   20.91%
      0     0       41.0915   126       34.0000      Cuts: 15     1312   20.86%
      0     0       41.0848   126       34.0000      Cuts: 11     1331   20.84%
      0     0       41.0767   126       34.0000      Cuts: 19     1358   20.81%
      0     2       41.0767   126       34.0000  Local Cut: 1     1358   20.81%                        0             0
Elapsed time = 0.86 sec. (762.88 ticks, tree = 0.00 MB, solutions = 4)
      2     4       41.0182   124       34.0000       41.0767     1473   20.81%             x37 D      2      1      2
     24    26       37.0000    96       34.0000       41.0767     2722   20.81%             x72 D     24     23     24
     48    46       37.2028   102       34.0000       41.0583     4240   20.76%             x30 D     48     47     16
     72    66       36.5000    70       34.0000       41.0182     5607   20.64%             x19 D     72     71     15
     98    88       36.4471    92       34.0000       40.9278     7115   20.38%             x23 D     98     97     20
    124   110       36.1731    94       34.0000       40.7468     8251   19.84%             x51 D    124    123     19
    150   128       39.1752   110       34.0000       40.4402     9715   18.94%             x23 U    150      5      6
    174   148       38.1481   101       34.0000       40.3733    11276   18.74%             x97 D    174    173     11
    200   170       36.1979    94       34.0000       40.1989    12412   18.23%             x45 D    200    199     17
    308   246       37.8795    97       34.0000       39.5899    17185   16.44%             x46 D    308    307      8
Elapsed time = 3.45 sec. (3952.85 ticks, tree = 0.52 MB, solutions = 4)
    413   327       35.0444    86       34.0000       39.2943    20797   15.57%             x39 D    413    412     16
    524   398       37.9914    99       34.0000       38.9793    24734   14.65%            x113 N    524    135      8
    632   474       36.9167    94       34.0000       38.7270    28276   13.90%             x28 D    632    631     11
    749   539       37.3509    94       34.0000       38.5088    32302   13.26%            x116 U    749     41     10
    863   603       37.0000    96       34.0000       38.3462    35810   12.78%             x10 U    863    384      8
    976   666       36.5588    94       34.0000       38.1979    39505   12.35%             x97 U    976    173     11
   1090   728       36.9319    86       34.0000       38.0456    43103   11.90%              x3 D   1090   1089     13
   1209   785       35.7708    85       34.0000       37.8795    47456   11.41%             x94 U   1209     67     11
   1327   831        cutoff             34.0000       37.7229    51527   10.95%             x92 U   1327    568     10
   1450   868       35.6960    87       34.0000       37.5806    56752   10.53%              x9 D   1450   1449     12
Elapsed time = 11.03 sec. (13547.87 ticks, tree = 3.84 MB, solutions = 4)
   1578   906       35.0857    82       34.0000       37.4223    61203   10.07%             x32 D   1578   1577     11
   1709   929        cutoff             34.0000       37.2500    66458    9.56%            x103 D   1709   1708     17
   1845   949       35.2308    78       34.0000       37.1375    71564    9.23%             x73 N   1845   1844      9
   1986   960       36.3333    68       34.0000       37.0000    77325    8.82%              x0 U   1986    709      8
   2140   960       35.1429    71       34.0000       36.8750    83218    8.46%             x49 N   2140   1297     11
   2290   956       35.1081    79       34.0000       36.7500    89066    8.09%            x118 N   2290    619      9
   2446   936       35.1845    79       34.0000       36.5937    95472    7.63%              x1 D   2446   2445     13
   2629   863        cutoff             34.0000       36.3628   104210    6.95%            x100 N   2629    573     15
   2835   771       35.0769    78       34.0000       36.1356   112864    6.28%             x42 U   2835   1491     11
   3211   495       35.0000    67       34.0000       35.7303   126258    5.09%             x34 N   3211   1539     16
Elapsed time = 19.56 sec. (23136.50 ticks, tree = 2.27 MB, solutions = 4)

Clique cuts applied:  10
Implied bound cuts applied:  138
Zero-half cuts applied:  51

Root node processing (before b&c):
  Real time             =    0.85 sec. (748.84 ticks)
Sequential b&c:
  Real time             =   19.45 sec. (22978.25 ticks)
                          ------------
Total (root+branch&cut) =   20.30 sec. (23727.09 ticks)
Solution status = Optimal
Solution value  = 34
Clique in initial model  = 519
Clique separated  = 0
Rango separated  = 0
Rango con pesos separated  = 0
Número de nudos B&B  = 3730
Número de llamadas a PL  = 0
Buscador de cliques violadas: Russian Dolls
Buscador de cliques proyectables: Goloso
Calculador de lambda: Russian Dolls
Tipo de proyección: Clique
Tamaño máximo de clique de proyección: 3
Número de iteraciones para búsqueda de clique violada: 3
Número máximo de iteraciones de proyección sin desigualdad violada: 50
Violación mínima: 0.01
Número de vértices para grafos chicos: 50
